ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps

We consider the problem of generating relevant execution traces to test rich interactive applications. Rich interactive applications, such as apps on mobile platforms, are complex stateful and often distributed systems where sufficiently exercising the app with user-interaction (UI) event sequences to expose defects is both hard and time-consuming. In particular, there is a fundamental tension between brute-force random UI exercising tools, which are fully-automated but offer low relevance, and UI test scripts, which are manual but offer high relevance. In this paper, we consider a middle way---enabling a seamless fusion of scripted and randomized UI testing. This fusion is prototyped in a testing tool called ChimpCheck for programming, generating, and executing property-based randomized test cases for Android apps. Our approach realizes this fusion by offering a high-level, embedded domain-specific language for defining custom generators of simulated user-interaction event sequences. What follows is a combinator library built on industrial strength frameworks for property-based testing (ScalaCheck) and Android testing (Android JUnit and Espresso) to implement property-based randomized testing for Android development. Driven by real, reported issues in open source Android apps, we show, through case studies, how ChimpCheck enables expressing effective testing patterns in a compact manner.Comment: 20 pages, 21 figures, Symposium on New ideas, New Paradigms, and Reflections on Programming and Software (Onward!2017

Deleted in Liver Cancer 2 (DLC2) Was Dispensable for Development and Its Deficiency Did Not Aggravate Hepatocarcinogenesis

DLC2 (deleted in liver cancer 2), a Rho GTPase-activating protein, was previously shown to be underexpressed in human hepatocellular carcinoma and has tumor suppressor functions in cell culture models. We generated DLC2-deficient mice to investigate the tumor suppressor role of DLC2 in hepatocarcinogenesis and the function of DLC2 in vivo. In this study, we found that, unlike homologous DLC1, which is essential for embryonic development, DLC2 was dispensable for embryonic development and DLC2-deficient mice could survive to adulthood. We also did not observe a higher incidence of liver tumor formation or diethylnitrosamine (DEN)-induced hepatocarcinogenesis in DLC2-deficient mice. However, we observed that DLC2-deficient mice were smaller and had less adipose tissue than the wild type mice. These phenotypes were not due to reduction of cell size or defect in adipogenesis, as observed in the 190B RhoGAP-deficient mouse model. Together, these results suggest that deficiency in DLC2 alone does not enhance hepatocarcinogenesis

Adult-onset hyperinsulinaemic hypoglycaemia in clinical practice: diagnosis, aetiology and management.

OBJECTIVE: In adults with hyperinsulinaemic hypoglycaemia (HH), in particular those with insulinoma, the optimal diagnostic and management strategies remain uncertain. Here, we sought to characterise the biochemical and radiological assessment, and clinical management of adults with HH at a tertiary centre over a thirteen-year period. DESIGN: Clinical, biochemical, radiological and histological data were reviewed from all confirmed cases of adult-onset hyperinsulinaemic hypoglycaemia at our centre between 2003 and 2016. In a subset of patients with stage I insulinoma, whole-exome sequencing of tumour DNA was performed. RESULTS: Twenty-nine patients were identified (27 insulinoma, including 6 subjects with metastatic disease; 1 pro-insulin/GLP-1 co-secreting tumour; 1 activating glucokinase mutation). In all cases, hypoglycaemia (glucose ≤2.2 mmol/L) was achieved within 48 h of a supervised fast. At fast termination, subjects with stage IV insulinoma had significantly higher insulin, C-peptide and pro-insulin compared to those with insulinoma staged I-IIIB. Preoperative localisation of insulinoma was most successfully achieved with EUS. In two patients with inoperable, metastatic insulinoma, peptide receptor radionuclide therapy (PRRT) with 177Lu-DOTATATE rapidly restored euglycaemia and lowered fasting insulin. Finally, in a subset of stage I insulinoma, whole-exome sequencing of tumour DNA identified the pathogenic Ying Yang-1 (YY1) somatic mutation (c.C1115G/p.T372R) in one tumour, with all tumours exhibiting a low somatic mutation burden. CONCLUSION: Our study highlights, in particular, the utility of the 48-h fast in the diagnosis of insulinoma, EUS for tumour localisation and the value of PRRT therapy in the treatment of metastatic disease

Who wants a slimmer body? The relationship between body weight status, education level and body shape dissatisfaction among young adults in Hong Kong

Background: Body shape dissatisfaction has been thought to have an indispensable impact on weight control behaviors. We investigated the prevalence of body shape dissatisfaction (BSD) and explored its association with weight status, education level and other determinants among young adults in Hong Kong. Methods. Information on anthropometry, BSD, and socio-demographics was collected from a random sample of 1205 young adults (611 men and 594 women) aged 18-27 in a community-based household survey. BSD was defined as a discrepancy between current and ideal body shape based on a figure rating scale. Cross-tabulations, homogeneity tests and logistic regression models were applied. Results: The percentages of underweight men and women were 16.5% and 34.9% respectively, and the corresponding percentages of being overweight or obese were 26.7% and 13.2% for men and women respectively. Three-quarters of young adults had BSD. Among women, 30.9% of those underweight and 75.5% of those with normal weight desired a slimmer body shape. Overweight men and underweight women with lower education level were more likely to have a mismatch between weight status and BSD than those with higher education level. After controlling for other determinants, underweight women were found to have a higher likelihood to maintain their current body shapes than other women. Men were found to be less likely to have a mismatch between weight status and BSD than women. Conclusions: Overweight and obesity in men and underweight in women were prevalent among Hong Kong young adults. Inappropriate body shape desire might predispose individuals to unhealthy weight loss or gain behaviors. Careful consideration of actual weight status in body shape desire is needed in health promotion and education, especially for underweight and normal weight women and those with a low education level. © 2011 Cheung et al; licensee BioMed Central Ltd.published_or_final_versio

Expert consensus document: Clinical and molecular diagnosis, screening and management of Beckwith-Wiedemann syndrome: an international consensus statement.

Beckwith-Wiedemann syndrome (BWS), a human genomic imprinting disorder, is characterized by phenotypic variability that might include overgrowth, macroglossia, abdominal wall defects, neonatal hypoglycaemia, lateralized overgrowth and predisposition to embryonal tumours. Delineation of the molecular defects within the imprinted 11p15.5 region can predict familial recurrence risks and the risk (and type) of embryonal tumour. Despite recent advances in knowledge, there is marked heterogeneity in clinical diagnostic criteria and care. As detailed in this Consensus Statement, an international consensus group agreed upon 72 recommendations for the clinical and molecular diagnosis and management of BWS, including comprehensive protocols for the molecular investigation, care and treatment of patients from the prenatal period to adulthood. The consensus recommendations apply to patients with Beckwith-Wiedemann spectrum (BWSp), covering classical BWS without a molecular diagnosis and BWS-related phenotypes with an 11p15.5 molecular anomaly. Although the consensus group recommends a tumour surveillance programme targeted by molecular subgroups, surveillance might differ according to the local health-care system (for example, in the United States), and the results of targeted and universal surveillance should be evaluated prospectively. International collaboration, including a prospective audit of the results of implementing these consensus recommendations, is required to expand the evidence base for the design of optimum care pathways